/*
 * Copyright (C) 2013 Cloudius Systems, Ltd.
 *
 * This work is open source software, licensed under the terms of the
 * BSD license as described in the LICENSE file in the top-level directory.
 */

#ifndef BARRIER_HH_
#define BARRIER_HH_

static inline void barrier()
{
    asm volatile("" : : : "memory");
}


#endif /* BARRIER_HH_ */
